(0 17 3)(1 19 16)(2 9 4)(5 20 7)(6 11 8)(10 14 13)(12 18 15)
ALLOWS (11/8)-SEQUENCE
1: (3 13 17)
(0 17 10 14 13)(1 19 16)(2 9 4)(3)(5 20 7)(6 11 8)(12 18 15)
2: (12 18 15)
(0 17 10 14 13)(1 19 16)(2 9 4)(3)(5 20 7)(6 11 8)(12)(15)(18)
3: (0 17 10)
(0 14 13)(1 19 16)(2 9 4)(3)(5 20 7)(6 11 8)(10)(12)(15)(17)(18)
4: (1 19 16)
(0 14 13)(1)(2 9 4)(3)(5 20 7)(6 11 8)(10)(12)(15)(16)(17)(18)(19)